eq\_atom\$n($x$;$y$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if $x$=1 $y$ then true$_{2}$ else false$_{2}$